Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
911	Distributed Agreement in Tile Self-Assembly Aaron Sterling? Department of Computer Science, Iowa State University. Abstract. Laboratory investigations have shown that a formal theory of fault-tole Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-05-03 09:53:00 Biology Self-assembly Tessellation Applied mathematics Science Consensus Distributed computing Natural computing
912	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Verication Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Programming language theory Programming language semantics Programming language implementation Compiler construction Denotational semantics PreScheme Compiler Formal methods Programming language Software engineering Theoretical computer science Logic in computer science
913	This document provides a list of all the algorithms which have been included within the KEEL software toolThis list is grouped into different families and it is summarised in the following table. Algorithm Add to Reading List Source URL: sci2s.ugr.es Language: English - Date: 2014-01-29 08:51:50 Science Formal sciences Cybernetics Data analysis Mathematical optimization Data mining Feature selection Genetic algorithm Pattern recognition Statistics Machine learning Artificial intelligence
914	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:04 Knowledge Upper ontology Formal ontology Knowledge engineering Knowledge representation and reasoning Cyc OBO Foundry Process ontology Ontology Information Science
915	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: rweb.quant.ku.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
916	Statistics and Gambling Kyle Siegrist Department of Mathematical Sciences University of Alabama in Huntsville January 13, 2010 Add to Reading List Source URL: www.math.uah.edu Language: English - Date: 2012-08-21 13:49:32 Probability and statistics Wagering Formal sciences Design of experiments Probability distribution Decision theory Statistical hypothesis testing Gambling Problem gambling Statistics Statistical inference Science
917	Call For Papers: A Special Issue on “Big Data and Analytics for a Better World” Background: The recent explosion of big data has radically changed the way managers can measure and gain insights about their businesses Add to Reading List Source URL: www.som.buffalo.edu Language: English - Date: 2015-05-15 06:40:57 Business intelligence Data analysis Formal sciences Business analytics Teradata Analytics Health care analytics Big data Text mining Science Data management Statistics
918	ICS 162 – Fall 2003 – Midterm Name: Solution Key Student ID: 1: 30 Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-21 17:50:43 Mathematics Computer science Pumping lemma for regular languages Deterministic finite automaton Nondeterministic finite automaton Pumping lemma for context-free languages Regular language Regular expression String Formal languages Automata theory Theoretical computer science
919	Microsoft Word - TREC proceedings.doc Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-12-18 11:23:04 Computational linguistics Information retrieval Compiler construction Formal languages Speech recognition Shallow parsing Parsing Search engine indexing Focus Linguistics Science Natural language processing
920	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages

UPDATE